Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In "Higher Topos Theory", Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and...(展开全部)

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In "Higher Topos Theory", Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and...(展开全部)

After describing the beginnings of the subject - the theory of large cardinals - a comprehensive account is given of the work in the 1960s on partition properties, forcing and sets of reals, and aspects of measurability (including saturated ideals and inner models of measurability). Then discussed are the strong hypotheses like supercompactness up to Kunen's inconsistency. The ...(展开全部)

This is the softcover reprint of the very popular hardcover edition. The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and possible new axioms for mathematics. The first of a projected multi-volume series, this book provides a comprehensive ...(展开全部)

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In "Higher Topos Theory", Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and...(展开全部)

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In "Higher Topos Theory", Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and...(展开全部)

This volume explores the use of higher-order logics in metaphysics. Higher-order logics are natural extensions of the common systems of predicate logic, with a history going back to the very beginnings of formal logic. Such logics are well suited to formalize metaphysical views and arguments. Over the last decade, there has been a resurgence of interest in higher-order metaphys...(展开全部)

德里克·博克 美国当代杰出教育家、法学家和社会学家，美国当代颇具影响力的大学校长之一，西方高等教育史上举足轻重的思想家和实践家。 两度担任哈佛大学校长的人。1971年博克临危受命，担任哈佛大学第25任校长，他采取种种措施帮助教师与学生重塑信心，并引领学校回归正常的教学和科研轨道，直至1991年退休，任期长达20年。2006年，博克再度重返哈佛，于2006—2007年间担任代理校长，接替被迫辞职的校长劳伦斯·萨默斯，也因此成为近50年来任期最长的哈佛校长。 “教育界的诺贝尔奖”格文美尔教育奖获得者。在任期间，博克致力于哈佛大学课程改革，将效果不佳的通识教育转为课程教育，奠定了现代大学的课程标准，在美国乃至全世界产生了巨大影响，被公认为美国教育界最有影响力的人物之一。 世界一流大学争相效仿的“博克教学与学习中心”创始人。博克非常关注本科教学质量，...(展开全部)